Modelling Arbitrary Computations in the Symbolic Model using an Equational Theory for Bounded Binary Circuits
arxiv.org·9h
🎞️Tape Combinatorics
Strong Goldbach in 2nd-order logic under standard semantics, semantically closed
medium.com·11h·
Discuss: Hacker News
🧮Constraint SMT
Symbolic-numeric programming in scientific computing
dspace.mit.edu·9h
🧬Functional Programming
Superimposed codes, take three
blog.sesse.net·4h
🔢Bitwise Algorithms
Cactus Language • Pragmatics 4
inquiryintoinquiry.com·1d
📐Format Grammars
Extensions and Shadows (8)
sites.psu.edu·1d
🧮Kolmogorov Bounds
Records and the ‘with’ operator, redux
codeblog.jonskeet.uk·17h
🛡️Proof-Carrying Archives
Proving theorems using Julia's types (or, a mini-Lean in Julia)
lmao.bearblog.dev·1d·
Discuss: Hacker News
⚔️Lean Theorem
Probabilistic Consistency in Machine Learning and Its Connection to Uncertainty Quantification
arxiv.org·9h
🧠Machine Learning
One Weird Trick to Untie Landin's Knot
arxiv.org·9h
⬆️Lambda Lifting
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun·16h·
Discuss: Hacker News
🧮Theorem Proving
A Developer’s Guide to Go’s Garbage Collection: Mastering the Tri-Color Algorithm
dev.to·10h·
Discuss: DEV
🧠Memory Allocators
Understanding ASTs
hypermod.io·1d·
Discuss: Hacker News
📊Static Analysis
Laurence Tratt: Which Parsing Approach?
tratt.net·1d·
Discuss: r/programming
📝Parsing Grammars
Spiral Matrix: Another Matrix Layer Problem
mmhaskell.com·2d
🔗Combinatory Logic
[D] Math book recommendations for NN theory
reddit.com·12h·
Discuss: r/MachineLearning
💻Programming languages
Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types
arxiv.org·1d
🧮SMT Solvers
Optimizing enterprise AI assistants: How Crypto.com uses LLM reasoning and feedback for enhanced efficiency
aws.amazon.com·1d
✨Effect Handlers
Show HN: Gradient-Free ML Algorithm (Available for Contract Work)
news.ycombinator.com·15h·
Discuss: Hacker News
🧠Machine Learning
Cranelift compiler efficiency, CFGs, and a branch peephole optimizer
cfallin.org·1d·
Discuss: Hacker News
⚙️RISC-V Microcode